push-button time switch - Deutsch Englisch Wörterbuch